void exit(int code) {}
